Section: Dissemination

Teaching - Supervision - Juries

Teaching

• Master: D. Miller, “MPRI 2-1: Logique linéaire et paradigmes logiques du calcul”, 12 hours, M2, Master Parisien de Recherche en Informatique, France.

• Lutz Straßburger gave a course on “Efficient Proof Systems for Modal Logics” at ESSLLI 2017 (joint with Roman Kuznets, TU Wien)

• Master: B. Accattoli, “MPRI 2-1: Logique linéaire et paradigmes logiques du calcul”, 9 hours, M2, Master Parisien de Recherche en Informatique, France.

• B. Accattoli taught the mini-course the complexity of $\beta$-reduction, 3 hours, at the International School on Rewriting 2017, Eindhoven, The Netherlands, 3-7 July.

• Licence: S. Graham-Lengrand, “INF412: Fondements de l'Informatique: Logique, Modèles, Calcul”, 32 hours eq. TD, L3, École Polytechnique, France.

• Master: S. Graham-Lengrand, “INF551: Computational Logic”, 45 hours eq. TD, M1, École Polytechnique, France.

• Licence: K. Chaudhuri, “INF431: Concurrence” and “INF441: Programmation avancée”, 80 hours eq. TD, L2, Ecole polytechnique, France.

Supervision

• PhD in progress: Sonia Marin, 1 Nov 2014, supervised by L. Straßburger and D. Miller

• PhD in progress: Roberto Blanco, Ulysse Gérard, and Matteo Manighetti, supervised by D. Miller

• PhD in progress: François Thiré (since 1st October 2016), supervised by S. Graham-Lengrand (joint with G. Dowek)

Juries

• D. Miller was a reporter for the habilitation of Olivier Hermant, 20 April 2017.